
#ifndef HAL_RTCAPI_H
#define HAL_RTCAPI_H

#include "hal_types.h"
#include "intc_lld.h"

typedef void (*rtcapicbk )(void);

typedef enum
{
	RTCAPI_CHANNEL0 = 0,
	RTCAPI_CHANNEL1 = 1,
	RTCAPI_CHANNEL2 = 2,
	RTCAPI_CHANNEL3 = 3
}rtcapi_channel_en;

void hal_rtcapi_init(rtcapi_channel_en channel ,uint32_t delay_us ,rtcapicbk cbk , enabled_en en);
void hal_rtcapi_enabled(rtcapi_channel_en channel ,enabled_en en);
void hal_rtcapi_cbk(rtcapi_channel_en channel ,rtcapicbk cbk );
void hal_rtcapi_iqr_config(rtcapi_channel_en channel ,INTC_PSR_PRI_t priorty , enabled_en en);
void hal_rtcapi_clock(rtcapi_channel_en channel ,uint32_t hz);
void hal_rtcapi_resetcount(void);

#endif
